Mirror Formula Derivation